<?php
	/**
	 * Stores a user object
	 */
	class user {
		public $userID;
		public $userName;
	}
	
?>